[
next
] [
prev
] [
prev-tail
] [
tail
] [
up
]
Глава 5
Категоризация
5.1
Цели и требования категоризации
5.2
Кванторы и другие операторы
5.3
Переменные и референциальная непрозрачность
5.4
Время. Ограничение общих терминов
5.5
Новый разбор имен
5.6
Примирительные замечания. Устранение единичных терминов
5.7
Определение и двойная жизнь
[
next
] [
prev
] [
prev-tail
] [
front
] [
up
]